Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Probabilistic and statistical temporal analyses have been developedas a means of determining the worst-case execution and responsetimes of real-time software for decades. A number of such methodshave been proposed in the literature, of which the majority claim tobe able to provide worst-case timing scenarios with respect to agiven likelihood of a certain value being exceeded. Further, suchclaims are based on either some estimates associated with a probability,or probability distributions with a certain level of confidence.However, the validity of the claims are very much dependent on anumber of factors, such as the achieved samples and the adopteddistributions for analysis.In this paper, we investigate whether the claims made are in facttrue as well as the establishing an understanding of the factors thataffect the validity of these claims. The results are of importancefor two reasons: to allow researchers to examine whether there areimportant issues that mean their techniques need to be refined; andso that practitioners, including industrialists who are currently usingcommercial timing analysis tools based on these types of techniques,understand how the techniques should be used to ensure theresults are fit for their purposes

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies

This paper describes four impact case studies where real-time systems research has been successfully transferred into industrial practice. In three cases, the technology created was translated into a viable commercial product via a start-up company. This technology transfer led to the creation and sustaining of a large number of high technology jobs over a 20 year period. The final case study involved the direct transfer of research results into an engineering company. Taken together, all four case studies have led to significant advances in automotive electronics and avionics, providing substantial returns on investment for the companies using the technology

parMERASA – multicore execution of parallelised hard real-time applications supporting analysability

Abstract-Engineers who design hard real-time embedded systems express a need for several times the performance available today while keeping safety as major criterion. A breakthrough in performance is expected by parallelizing hard real-time applications and running them on an embedded multi-core processor, which enables combining the requirements for high-performance with timing-predictable execution. parMERASA will provide a timing analyzable system of parallel hard real-time applications running on a scalable multicore processor. parMERASA goes one step beyond mixed criticality demands: It targets future complex control algorithms by parallelizing hard real-time programs to run on predictable multi-/many-core processors. We aim to achieve a breakthrough in techniques for parallelization of industrial hard real-time programs, provide hard real-time support in system software, WCET analysis and verification tools for multi-cores, and techniques for predictable multi-core designs with up to 64 cores

Whole genome sequencing reveals that genetic conditions are frequent in intensively ill children

Purpose With growing evidence that rare single gene disorders present in the neonatal period, there is a need for rapid, systematic, and comprehensive genomic diagnoses in ICUs to assist acute and long-term clinical decisions. This study aimed to identify genetic conditions in neonatal (NICU) and paediatric (PICU) intensive care populations. Methods We performed trio whole genome sequence (WGS) analysis on a prospective cohort of families recruited in NICU and PICU at a single site in the UK. We developed a research pipeline in collaboration with the National Health Service to deliver validated pertinent pathogenic findings within 2andndash;3andnbsp;weeks of recruitment. Results A total of 195 families had whole genome analysis performed (567 samples) and 21% received a molecular diagnosis for the underlying genetic condition in the child. The phenotypic description of the child was a poor predictor of the gene identified in 90% of cases, arguing for gene agnostic testing in NICU/PICU. The diagnosis affected clinical management in more than 65% of cases (83% in neonates) including modification of treatments and care pathways and/or informing palliative care decisions. A 2andndash;3andnbsp;week turnaround was sufficient to impact most clinical decision-making. Conclusions The use of WGS in intensively ill children is acceptable and trio analysis facilitates diagnoses. A gene agnostic approach was effective in identifying an underlying genetic condition, with phenotypes and symptomatology being primarily used for data interpretation rather than gene selection. WGS analysis has the potential to be a first-line diagnostic tool for a subset of intensively ill children.</p

An Analysable Bus-Guardian for Event-Triggered Communication

We present a guardian-based approach to detecting 'babbling idiots', faulty nodes which erroneously consume extra resource in an event triggered system. In general, one cannot detect all babbling idiots, but the maximum effect of undetected faults is bounded and small, and therefore can be taken into account in worst case response time analysis to guarantee that a babbling idiot cannot cause a timing failure elsewhere in the system. The approach is applied specifically to the CAN protocol to protect against faulty nodes transmitting message frames too often. We show that the overhead of including the effect of undetected frames into the worst case response time analysis is small enough to be of practical value